<html>
<head><meta charset="utf-8"><title>specialization · wg-traits · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/index.html">wg-traits</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/specialization.html">specialization</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="155110150"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/specialization/near/155110150" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/specialization.html#155110150">(Jan 14 2019 at 19:37)</a>:</h4>
<p>OK so we're talking about how to get the ball rolling on specialization. Plan is to have a meeting to kind of survey the "lay of the land". Before that meeting we'll try to make a list of links.</p>



<a name="155110203"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/specialization/near/155110203" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sunjay Varma <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/specialization.html#155110203">(Jan 14 2019 at 19:38)</a>:</h4>
<p>Thursday because tomorrow is Tuesday and that's not enough time for me read anything :)</p>



<a name="155110210"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/specialization/near/155110210" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sunjay Varma <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/specialization.html#155110210">(Jan 14 2019 at 19:38)</a>:</h4>
<p>I started a list in the doc</p>



<a name="155110212"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/specialization/near/155110212" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/specialization.html#155110212">(Jan 14 2019 at 19:38)</a>:</h4>
<p><span class="user-mention" data-user-id="117350">@Sunjay Varma</span> when did you have in mind to do chat? Thursday? would 1 or 2pm UTC-5 work?</p>



<a name="155110233"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/specialization/near/155110233" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/specialization.html#155110233">(Jan 14 2019 at 19:38)</a>:</h4>
<p>(Also this meeting is meant to be open to anyone in <span class="user-group-mention" data-user-group-id="692">@WG-compiler-traits</span> who wants, though the goal is also to produce material + video that can be asynchronously consumed)</p>



<a name="155110234"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/specialization/near/155110234" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sunjay Varma <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/specialization.html#155110234">(Jan 14 2019 at 19:38)</a>:</h4>
<p>1 pm works</p>



<a name="155110360"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/specialization/near/155110360" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Taylor Cramer <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/specialization.html#155110360">(Jan 14 2019 at 19:40)</a>:</h4>
<p>I'd love to chat / help out however I can</p>



<a name="155110395"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/specialization/near/155110395" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Taylor Cramer <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/specialization.html#155110395">(Jan 14 2019 at 19:40)</a>:</h4>
<p>(though there're currently like 5 conversations happening in this channel and I'm attempting to participate in all of them at the same time XD)</p>



<a name="155110445"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/specialization/near/155110445" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/specialization.html#155110445">(Jan 14 2019 at 19:41)</a>:</h4>
<p>(getting the ball rolling on specialization I've no opinion about; but getting it to stable will definitely require a new RFC)</p>



<a name="155110467"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/specialization/near/155110467" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sunjay Varma <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/specialization.html#155110467">(Jan 14 2019 at 19:41)</a>:</h4>
<p>Niko I sent you a meeting invite for Thursday</p>



<a name="155110477"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/specialization/near/155110477" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sunjay Varma <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/specialization.html#155110477">(Jan 14 2019 at 19:41)</a>:</h4>
<p>I am happy to put anyone else on there too, just tell me your email :)</p>



<a name="155110478"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/specialization/near/155110478" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/specialization.html#155110478">(Jan 14 2019 at 19:41)</a>:</h4>
<p><span class="emoji emoji-1f44d" title="+1">:+1:</span></p>



<a name="155110542"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/specialization/near/155110542" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sunjay Varma <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/specialization.html#155110542">(Jan 14 2019 at 19:42)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> What links would be useful background for this?</p>



<a name="155110554"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/specialization/near/155110554" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sunjay Varma <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/specialization.html#155110554">(Jan 14 2019 at 19:42)</a>:</h4>
<p>So far I have:</p>
<div class="codehilite"><pre><span></span>    - Specialization RFC - link?
    - (Optional) Specialization blog posts - yours or Aaron’s?
</pre></div>



<a name="155110562"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/specialization/near/155110562" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/specialization.html#155110562">(Jan 14 2019 at 19:42)</a>:</h4>
<p>(imo Aaron's)</p>



<a name="155110572"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/specialization/near/155110572" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/specialization.html#155110572">(Jan 14 2019 at 19:42)</a>:</h4>
<p>(cause I think the design is better, sorry <span class="user-mention" data-user-id="116009">@nikomatsakis</span>  :P )</p>



<a name="155110614"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/specialization/near/155110614" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/specialization.html#155110614">(Jan 14 2019 at 19:43)</a>:</h4>
<p><span class="user-mention" data-user-id="117350">@Sunjay Varma</span> but really I'd include both</p>



<a name="155110619"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/specialization/near/155110619" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sunjay Varma <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/specialization.html#155110619">(Jan 14 2019 at 19:43)</a>:</h4>
<p>Heh. My impression is also the same as yours, but it's been a while so I'm not sure</p>



<a name="155110622"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/specialization/near/155110622" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sunjay Varma <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/specialization.html#155110622">(Jan 14 2019 at 19:43)</a>:</h4>
<p>Yes I'll include both :D</p>



<a name="155110753"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/specialization/near/155110753" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/specialization.html#155110753">(Jan 14 2019 at 19:45)</a>:</h4>
<blockquote>
<p>(cause I think the design is better, sorry <span class="user-mention" data-user-id="116009">@nikomatsakis</span>  :P )</p>
</blockquote>
<p>they...are the same thing</p>



<a name="155110762"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/specialization/near/155110762" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/specialization.html#155110762">(Jan 14 2019 at 19:45)</a>:</h4>
<p>I mean, one builds on the other.</p>



<a name="155110813"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/specialization/near/155110813" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/specialization.html#155110813">(Jan 14 2019 at 19:46)</a>:</h4>
<p>at least IIRC</p>



<a name="155110822"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/specialization/near/155110822" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/specialization.html#155110822">(Jan 14 2019 at 19:46)</a>:</h4>
<p>but I don't remember if aturon's stands alone</p>



<a name="155110837"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/specialization/near/155110837" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/specialization.html#155110837">(Jan 14 2019 at 19:46)</a>:</h4>
<p>if so, I agree, it is the refined design :)</p>



<a name="155110891"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/specialization/near/155110891" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/specialization.html#155110891">(Jan 14 2019 at 19:47)</a>:</h4>
<p>(iirc Aaron's was more flexible and attached to the bound rather than the trait, but I haven't read it for some time)</p>



<a name="155110901"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/specialization/near/155110901" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sunjay Varma <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/specialization.html#155110901">(Jan 14 2019 at 19:47)</a>:</h4>
<p>I'll put them all on</p>



<a name="155110936"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/specialization/near/155110936" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/specialization.html#155110936">(Jan 14 2019 at 19:47)</a>:</h4>
<p>in any case, I posted links to all of the above</p>



<a name="155110989"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/specialization/near/155110989" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/specialization.html#155110989">(Jan 14 2019 at 19:48)</a>:</h4>
<p>tbh <span class="user-mention" data-user-id="126931">@centril</span> I don't remember either =) but I certainly agree that <span class="user-mention" data-user-id="116010">@Aaron Turon</span>'s post was the design we ultimately wanted.</p>



<a name="155110992"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/specialization/near/155110992" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/specialization.html#155110992">(Jan 14 2019 at 19:48)</a>:</h4>
<p>at least thus far :)</p>



<a name="155110998"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/specialization/near/155110998" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/specialization.html#155110998">(Jan 14 2019 at 19:48)</a>:</h4>
<p>but it also built on the ideas in the max-min post</p>



<a name="155111008"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/specialization/near/155111008" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/specialization.html#155111008">(Jan 14 2019 at 19:48)</a>:</h4>
<p>(that's why I wasn't sure if it stood alone or not)</p>



<a name="155111014"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/specialization/near/155111014" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/specialization.html#155111014">(Jan 14 2019 at 19:48)</a>:</h4>
<p>yeah; I still feel that Aaron's variant incurs significant additional cognitive load</p>



<a name="155111051"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/specialization/near/155111051" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/specialization.html#155111051">(Jan 14 2019 at 19:49)</a>:</h4>
<p>but... that's specialization for you, a difficult thing <span class="emoji emoji-1f642" title="slight smile">:slight_smile:</span></p>



<a name="155111061"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/specialization/near/155111061" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sunjay Varma <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/specialization.html#155111061">(Jan 14 2019 at 19:49)</a>:</h4>
<p>Aaron has like 3 recent posts about specialization and one old one</p>



<a name="155111077"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/specialization/near/155111077" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sunjay Varma <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/specialization.html#155111077">(Jan 14 2019 at 19:49)</a>:</h4>
<p>Are the 3 recent ones all worth reading or just the most recent?</p>



<a name="155111129"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/specialization/near/155111129" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/specialization.html#155111129">(Jan 14 2019 at 19:50)</a>:</h4>
<p>re: RFCs, I agree we need one, I also think its' not relevant right now. We should be focusing on the design, we'll worry about when/how to produce RFCs later</p>



<a name="155111130"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/specialization/near/155111130" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sunjay Varma <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/specialization.html#155111130">(Jan 14 2019 at 19:50)</a>:</h4>
<p>Also Niko you have 2 posts</p>



<a name="155111155"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/specialization/near/155111155" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sunjay Varma <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/specialization.html#155111155">(Jan 14 2019 at 19:50)</a>:</h4>
<p>one from last year and one from 2016</p>



<a name="155111156"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/specialization/near/155111156" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/specialization.html#155111156">(Jan 14 2019 at 19:50)</a>:</h4>
<blockquote>
<p>Are the 3 recent ones all worth reading or just the most recent?</p>
</blockquote>
<p>just the most recent I think</p>



<a name="155111157"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/specialization/near/155111157" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/specialization.html#155111157">(Jan 14 2019 at 19:50)</a>:</h4>
<p>I put a link</p>



<a name="155111159"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/specialization/near/155111159" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/specialization.html#155111159">(Jan 14 2019 at 19:50)</a>:</h4>
<p>in the paper</p>



<a name="155111163"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/specialization/near/155111163" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/specialization.html#155111163">(Jan 14 2019 at 19:50)</a>:</h4>
<p>I put a link in the paper to mine too :)</p>



<a name="155111171"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/specialization/near/155111171" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sunjay Varma <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/specialization.html#155111171">(Jan 14 2019 at 19:50)</a>:</h4>
<p>kk</p>



<a name="155111177"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/specialization/near/155111177" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/specialization.html#155111177">(Jan 14 2019 at 19:50)</a>:</h4>
<p>this one: <a href="http://aturon.github.io/2018/04/05/sound-specialization/" target="_blank" title="http://aturon.github.io/2018/04/05/sound-specialization/">http://aturon.github.io/2018/04/05/sound-specialization/</a></p>



<a name="155111179"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/specialization/near/155111179" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/specialization.html#155111179">(Jan 14 2019 at 19:50)</a>:</h4>
<p>the older stuff may yet become relevant</p>



<a name="155111184"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/specialization/near/155111184" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/specialization.html#155111184">(Jan 14 2019 at 19:50)</a>:</h4>
<p>but it's kind of an orthogonal concern</p>



<a name="155111191"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/specialization/near/155111191" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sunjay Varma <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/specialization.html#155111191">(Jan 14 2019 at 19:51)</a>:</h4>
<p>Ok sounds good</p>



<a name="155111310"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/specialization/near/155111310" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/specialization.html#155111310">(Jan 14 2019 at 19:52)</a>:</h4>
<blockquote>
<p>We should be focusing on the design, we'll worry about when/how to produce RFCs later</p>
</blockquote>
<p><span class="emoji emoji-1f44d" title="+1">:+1:</span> -- tho we need some avenue for focusing on the design</p>



<a name="155111380"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/specialization/near/155111380" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sunjay Varma <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/specialization.html#155111380">(Jan 14 2019 at 19:53)</a>:</h4>
<p>Added links to the relevant code</p>



<a name="155111509"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/specialization/near/155111509" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/specialization.html#155111509">(Jan 14 2019 at 19:55)</a>:</h4>
<p>Aaron's explicit <code>specialize : Constraint -&gt; Constraint</code> could be quite helpful in making hidden impls work well too</p>



<a name="155111584"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/specialization/near/155111584" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/specialization.html#155111584">(Jan 14 2019 at 19:56)</a>:</h4>
<p>cause specialization + hidden impls are either unsound or weird right now</p>



<a name="155337688"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/specialization/near/155337688" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/specialization.html#155337688">(Jan 17 2019 at 14:15)</a>:</h4>
<p>btw, I think that we should ignore both my post and aturon's to start</p>



<a name="155337709"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/specialization/near/155337709" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/specialization.html#155337709">(Jan 17 2019 at 14:15)</a>:</h4>
<p>that is, I think we should just start by looking at the narrow form of specialization currently implemented :)</p>



<a name="155337715"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/specialization/near/155337715" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/specialization.html#155337715">(Jan 17 2019 at 14:15)</a>:</h4>
<p>( and then we can talk about how to generalize )</p>



<a name="155337788"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/specialization/near/155337788" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/specialization.html#155337788">(Jan 17 2019 at 14:16)</a>:</h4>
<p>I thought the current impl was too general?</p>



<a name="155338135"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/specialization/near/155338135" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/specialization.html#155338135">(Jan 17 2019 at 14:20)</a>:</h4>
<p>well, it's unsound, is that what you mean?</p>



<a name="155338165"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/specialization/near/155338165" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/specialization.html#155338165">(Jan 17 2019 at 14:20)</a>:</h4>
<p>well unsound because it accepts too many things; so ostensibly making it sound will also make it less general :D</p>



<a name="155338183"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/specialization/near/155338183" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/specialization.html#155338183">(Jan 17 2019 at 14:21)</a>:</h4>
<p>I guess you're correct that "generalization" wasn't quite the right word-- I was thinking mostly of things like intersecting impls. Anyway, the point of my post (and which aturon built on) was basically that we can enforce some extra constraints on specializing impls. But I think we have some more basic things to discuss first.</p>



<a name="155338189"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/specialization/near/155338189" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/specialization.html#155338189">(Jan 17 2019 at 14:21)</a>:</h4>
<p>in terms of the chalk modeling</p>



<a name="155354153"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/specialization/near/155354153" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Taylor Cramer <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/specialization.html#155354153">(Jan 17 2019 at 17:46)</a>:</h4>
<p>what are we actually meeting on? hangouts? something else?</p>



<a name="155354906"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/specialization/near/155354906" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sunjay Varma <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/specialization.html#155354906">(Jan 17 2019 at 17:56)</a>:</h4>
<p>Usually Niko uses <a href="http://appear.in" target="_blank" title="http://appear.in">appear.in</a></p>



<a name="155354944"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/specialization/near/155354944" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sunjay Varma <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/specialization.html#155354944">(Jan 17 2019 at 17:57)</a>:</h4>
<p>His usual link is: <a href="http://appear.in/i-heart-rust" target="_blank" title="http://appear.in/i-heart-rust">http://appear.in/i-heart-rust</a></p>



<a name="155355199"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/specialization/near/155355199" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sunjay Varma <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/specialization.html#155355199">(Jan 17 2019 at 18:00)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> allons-y?</p>



<a name="155355238"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/specialization/near/155355238" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/specialization.html#155355238">(Jan 17 2019 at 18:01)</a>:</h4>
<p>yeah, I'm here</p>



<a name="155355265"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/specialization/near/155355265" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/specialization.html#155355265">(Jan 17 2019 at 18:01)</a>:</h4>
<p><a href="http://appear.in" target="_blank" title="http://appear.in">appear.in</a> seems good</p>



<a name="155355307"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/specialization/near/155355307" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/specialization.html#155355307">(Jan 17 2019 at 18:02)</a>:</h4>
<p>I'm in <a href="https://appear.in/i-heart-rust" target="_blank" title="https://appear.in/i-heart-rust">https://appear.in/i-heart-rust</a></p>



<a name="155355319"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/specialization/near/155355319" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/specialization.html#155355319">(Jan 17 2019 at 18:02)</a>:</h4>
<p>I also started preparing a DropBox Paper document: <a href="https://paper.dropbox.com/doc/Chalk-and-Specialization--AV30Vxh2GjjUZQ~STKve1DdHAg-urrCptcGmI7PA4pYaF5yn" target="_blank" title="https://paper.dropbox.com/doc/Chalk-and-Specialization--AV30Vxh2GjjUZQ~STKve1DdHAg-urrCptcGmI7PA4pYaF5yn">https://paper.dropbox.com/doc/Chalk-and-Specialization--AV30Vxh2GjjUZQ~STKve1DdHAg-urrCptcGmI7PA4pYaF5yn</a></p>



<a name="155355320"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/specialization/near/155355320" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/specialization.html#155355320">(Jan 17 2019 at 18:02)</a>:</h4>
<p>though I didn't get as far as I hoped</p>



<a name="156411923"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/specialization/near/156411923" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/specialization.html#156411923">(Jan 19 2019 at 00:38)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> did you record a video this time?</p>



<a name="156414568"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/specialization/near/156414568" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sunjay Varma <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/specialization.html#156414568">(Jan 19 2019 at 01:43)</a>:</h4>
<p>I don't think the recording worked</p>



<a name="156414572"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/specialization/near/156414572" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sunjay Varma <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/specialization.html#156414572">(Jan 19 2019 at 01:43)</a>:</h4>
<p>There are notes in the doc posted</p>



<a name="156623225"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/specialization/near/156623225" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/specialization.html#156623225">(Jan 22 2019 at 17:40)</a>:</h4>
<p>let me check</p>



<a name="156623226"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/specialization/near/156623226" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/specialization.html#156623226">(Jan 22 2019 at 17:40)</a>:</h4>
<p>I forget</p>



<a name="156623240"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/specialization/near/156623240" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/specialization.html#156623240">(Jan 22 2019 at 17:40)</a>:</h4>
<p>I've just paid for a trial subscription with Zoom, which offers recording, so maybe we'll use that next time</p>



<a name="156623247"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/specialization/near/156623247" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/specialization.html#156623247">(Jan 22 2019 at 17:40)</a>:</h4>
<p>although I see I can pay more to get recording from <a href="http://appear.in" target="_blank" title="http://appear.in">appear.in</a> too</p>



<a name="176394969"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/specialization/near/176394969" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sunjay Varma <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/specialization.html#176394969">(Sep 23 2019 at 18:22)</a>:</h4>
<p>Hi <span class="user-mention" data-user-id="116009">@nikomatsakis</span>. Pinging you regarding specialization</p>



<a name="176394992"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/specialization/near/176394992" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sunjay Varma <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/specialization.html#176394992">(Sep 23 2019 at 18:23)</a>:</h4>
<p>I believe we have an issue comment here describing some of the next steps: <a href="https://github.com/rust-lang/chalk/issues/219#issuecomment-507389782" target="_blank" title="https://github.com/rust-lang/chalk/issues/219#issuecomment-507389782">https://github.com/rust-lang/chalk/issues/219#issuecomment-507389782</a></p>



<a name="176395023"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/specialization/near/176395023" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sunjay Varma <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/specialization.html#176395023">(Sep 23 2019 at 18:23)</a>:</h4>
<p>I have some time (mostly on the weekends) to work on this</p>



<a name="176395105"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/specialization/near/176395105" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sunjay Varma <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/specialization.html#176395105">(Sep 23 2019 at 18:24)</a>:</h4>
<p>Is there anything you'd like to discuss about this or should I just start by trying to recall everything we started working on several months ago? heh</p>



<a name="176407639"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/specialization/near/176407639" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/specialization.html#176407639">(Sep 23 2019 at 20:42)</a>:</h4>
<p><span class="user-mention" data-user-id="117350">@Sunjay Varma</span> yeah so the basic plan remains the same</p>



<a name="228650072"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/specialization/near/228650072" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pksunkara <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/specialization.html#228650072">(Mar 03 2021 at 19:15)</a>:</h4>
<p>Why do I need specialization where I have multiple <code>T: Fn(...)</code>? Aren't they easy to identify and separate?</p>



<a name="232640836"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/specialization/near/232640836" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eggyal <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/specialization.html#232640836">(Mar 31 2021 at 18:24)</a>:</h4>
<p>Hi folks.  Really not too sure where best to ask this, so please do feel free to point me elsewhere... I've been trying to glean some understanding of the current status and direction of travel for specialization, but haven't been able to find much written on the subject since <span class="user-mention" data-user-id="301292">@Aaron Turon</span>'s April 2018 blog post <a href="http://aturon.github.io/tech/2018/04/05/sound-specialization/">Sound and ergonomic specialization for Rust</a>; I'm aware that <a href="https://github.com/rust-lang/rust/pull/68970">Implement a feature for a sound specialization subset</a> happened last year and that libs have since been moving over to use that, but it appears that that feature follows the design sketched out in <span class="user-mention" data-user-id="116009">@nikomatsakis</span>'s February 2018 blog post <a href="http://smallcultfollowing.com/babysteps/blog/2018/02/09/maximally-minimal-specialization-always-applicable-impls/">Maximally minimal specialization: always applicable impls</a> instead, upon which Aaron's post had some ideas for improvement.  That said, <a href="https://doc.rust-lang.org/stable/unstable-book/language-features/min-specialization.html">the feature's entry in the unstable book</a> just links to the main specialization tracking issue without saying much more on the subject so I might have it completely wrong and/or the entire design approach may have moved on significantly from those blog posts in early 2018.  Are there some further blog posts or discussion that I'm missing and that would give a sense of the current status and  direction of travel for this feature?</p>



<a name="232642545"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/specialization/near/232642545" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eggyal <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/specialization.html#232642545">(Mar 31 2021 at 18:34)</a>:</h4>
<p>Apologies, have just read through this stream's history, the <a href="https://paper.dropbox.com/doc/Chalk-and-Specialization-urrCptcGmI7PA4pYaF5yn">Dropbox Paper</a> and <a href="https://github.com/rust-lang/chalk/issues/219">Chalk issue</a>... I guess those bring me fairly up to date?</p>



<a name="232647831"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/specialization/near/232647831" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/specialization.html#232647831">(Mar 31 2021 at 19:10)</a>:</h4>
<p>I think that's a fair representation of the status, yeah. Looking at the tracking issue and other communication, it looks like the current feature implemented in rustc won't be stabilized, and the real fix has to wait for chalk integration into rustc first</p>



<a name="232648147"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/specialization/near/232648147" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/specialization.html#232648147">(Mar 31 2021 at 19:12)</a>:</h4>
<p>Specialization is probably something that will be experimented with more once chalk integration is done (at least, that was the plan when we made the <a href="https://rust-lang.github.io/wg-traits/roadmap/skill-tree.html">roadmap/skill-tree</a>)</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>